both  -- Operation (predicate), two inputs.  Abbreviation: and
     The two inputs must both be either true or false.  The output is  true
     if both inputs are true; otherwise the output is false.
